By using SIAM Journals Online you agree to abide by the
Terms and Conditions of Use.

©  SIAM

 

SIAM Journal on Computing

Table of Contents
Volume 13, Issue 4, pp. 669-889

Please Note: Electronic articles are available well in advance of the printed articles.

What Article options are available ?   View Cart   

Disk Performance in a Transaction-Oriented System

D. P. Heyman and S. Tsur

pp. 669-681

Equivalence Relations, Invariants, and Normal Forms

Andreas Blass and Yuri Gurevich

pp. 682-689

Preemptive Scheduling of a Multiprocessor System with Memories to Minimize Maximum Lateness

Ten-Hwang Lai and Sartaj Sahni

pp. 690-704

Scheduling Independent Tasks on Uniform Processors

Gregory Dobson

pp. 705-716

On Relativized Polynomial and Exponential Computations

Hans Heller

pp. 717-725

The Power of Synchronization Mechanisms

H. W. Barz

pp. 726-749

$n$-Rational Algebras I. Basic Properties and Free Algebras

Jean H. Gallier

pp. 750-775

$n$-Rational Algebras II. Varieties and Logic of inequalities

Jean H. Gallier

pp. 776-794

The Information-Theoretic Bound is Good for Merging

Nathan Linial

pp. 795-801

Parallel Algorithms for Algebraic Problems

Joachim von zur Gathen

pp. 802-824

Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL

R. Sherman, A. Pnueli, and D. Harel

pp. 825-839

Information Transfer under Different Sets of Protocols

J. Ja'Ja', V. K. Prasanna Kumar, and J. Simon

pp. 840-849

How to Generate Cryptographically Strong Sequences of Pseudorandom Bits

Manuel Blum and Silvio Micali

pp. 850-864

Cylindrical Algebraic Decomposition I: The Basic Algorithm

Dennis S. Arnon, George E. Collins, and Scott McCallum

pp. 865-877

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane

Dennis S. Arnon, George E. Collins, and Scott McCallum

pp. 878-889